../mpn/x86_64/mod_1_4.asm